Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
41	Computational Process Networks a model and framework for high-throughput signal processing Gregory E. Allen Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2011-04-24 22:59:22 Models of computation Computer architecture Synchronous programming languages Parallel computing Computer data Dataflow Kahn process networks Concurrent computing Concurrency LabVIEW SIGNAL Dataflow architecture
42	J1.7 MACHINE LEARNING EVOLUTION FOR THE SOURCE DETECTION OF ATMOSPHERIC RELEASES G. Cervone∗1 and P. Franzese2 Dept. of Geography and Geoinformation Science, George Mason University Add to Reading List Source URL: ams.confex.com Language: English - Date: 2010-02-22 16:24:52 Evolution Cybernetics Evolutionary computation Learnable Evolution Model Estimation of distribution algorithm Genetic algorithm Machine learning Evolutionary algorithm Algorithm Genetic and Evolutionary Computation Conference
43	I NTRODUCTION T HE LST FRAMEWORK Iterative forcing and preservation of hyperimmunity Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-06-30 01:30:45 Computability theory Theoretical computer science Mathematical logic Theory of computation Mathematics Model theory Algorithm characterizations operator
44	Computation for Bayesian model comparison Tom Loredo Dept. of Astronomy, Cornell University http://www.astro.cornell.edu/staff/loredo/bayes/ Add to Reading List Source URL: astrostatistics.psu.edu Language: English
45	Wavelike Design of Social Agents Simulated as System of Interacting Net of Neural Networks Darius Plikynas Informatics department, Vilnius Management Academy, Add to Reading List Source URL: necsi.edu Language: English - Date: 2007-09-26 06:39:48 Simulation Models of computation Systems theory Scientific modeling Complex systems theory Agent-based model Multi-agent system Social simulation Artificial neural network Computational model Agent Self-organization
46	Separating the Degree Spectra of Structures Tyler John Markkanen, Ph.D. University of Connecticut, 2009 In computable model theory, mathematical structures are studied on the basis of Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2009-06-07 10:47:50 Computability theory Model theory Logic Mathematics Theory of computation Alan Turing Constructivism Philosophy of mathematics Computable model theory Turing degree Enumeration Mathematical logic
47	W24–W31 Nucleic Acids Research, 2006, Vol. 34, Web Server issue doi:nar/gkl084 oGNM: online computation of structural dynamics using the Gaussian Network Model Lee-Wei Yang1, A. J. Rader1, Xiong Liu1,2, Cristop Add to Reading List Source URL: www.ccbb.pitt.edu Language: English - Date: 2013-11-27 16:28:59
48	Including R−parity violation in the numerical computation of the spectrum of the minimal supersymmetric standard model: SOFTSUSY3.3.3 B.C. Allanach DAMTP, CMS, University of Cambridge, Wilberforce road, Cambridge, CB3 Add to Reading List Source URL: softsusy.hepforge.org Language: English
49	Stochastic Activity Authoring with Direct User Control Aline Normoyle∗ University of Pennsylvania Maxim Likhachev † Carnegie Mellon University Add to Reading List Source URL: www.alinenormoyle.com Language: English - Date: 2014-03-08 16:49:28 Simulation Stochastic processes Operations research Scientific modeling Models of computation Markov chain Random walk Crowd simulation Agent-based model Stochastic Traffic flow
50	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory